Search results for "Co operative"
showing 4 items of 4 documents
ROS/Gazebo Based Simulation of Co-operative UAVs
2019
UAVs can be assigned different tasks such as e.g., rendez-vous and space coverage, which require processing and communication capabilities. This work extends the architecture ROS/Gazebo with the possibility of simulation of co-operative UAVs. We assume UAV with the underlying attitude controller based on the open-source Ardupilot software. The integration of the co-ordination algorithm in Gazebo is implemented with software modules extending Ardupilot with the capability of sending/receiving messages to/from drones, and executing the co-ordination protocol. As far as it concerns the simulation environment, we have extended the world in Gazebo to hold more than one drone and to open a specif…
Co-operative wineries: Temporal solution or efficient firms? The Spanish case during late Francoism, 1970–1981
2015
Part of economic theory has regarded co-operative firms as useful tools for dealing with market failures during periods of economic contraction, but also as suffering severe efficiency problems during periods of growth. The main aim of this article is to test this hypothesis in the case of Spanish co-operative wineries during the years of late Francoism. In order to do this, the balance sheets of 75 co-operative firms from the 1970s have been subject to financial-ratio analyses. The main conclusion is that these firms were inefficient due to their excessive financial debt. The Spanish Francoist government promoted their creation and granted financial aid – for their value as social and econ…
Developing a conceptual framework for the co-operative and mutual enterprise business model
2018
AbstractThe co-operative and mutual enterprise business model represents a unique type of organisation that has a dual purpose focused on both economic and social goals. For nearly two centuries it has played an important role in economic development, job creation and addressing market failures. However, despite its potential importance to economic development it has been largely ignored within the mainstream economics and management literature. This paper provides an overview of the nature of the co-operative and mutual enterprise business model and also proposes a business model framework or ‘canvas’ that can be used for research, teaching and strategic analysis.
Co-simulation and Formal Verification of Co-operative Drone Control With Logic-Based Specifications
2021
Abstract Unmanned aerial vehicle (UAV) co-operative systems are complex cyber-physical systems that integrate a high-level control algorithm with pre-existing closed implementations of lower-level vehicle kinematics. In model-driven development, simulation is one of the techniques that are usually applied, together with testing, in the analysis of system behaviours. This work proposes a method and tools to validate the design of UAV co-operative systems based on co-simulation and formal verification. The method uses the Prototype Verification System, an interactive theorem prover based on a higher-order logic language, and the Functional Mock-up Interface, a widely accepted standard for co-…